1. Computational Logic and Set Theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
2. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
3. Computational logic and set theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set theory
رده :
E-BOOK
4. Computational logic and set theory :
پدیدآورنده : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Set theory
رده :
QA248
.
S39
2011eb
5. Computational logic and set theory applying formalized logic to analysis
پدیدآورنده : Schwartz, Jacob T., Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory
رده :
QA
248
.
S364
2011
